Issue1228b.agda:40,1-45
Use con instead of def for constructor refl
